Turing’s Revolution: The Impact of His Ideas about Computability
by Giovanni Sommaruga,Thomas Strahm
ISBN 13: 9783319221557
Format: Hardcover (355 pages) Publisher: Birkhäuser Published: 29 Jan 2016
Save for later
Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)
by Reinhard Kahle,Thomas Strahm,Thomas Studer
ISBN 13: 9783319291963
Format: Hardcover (437 pages) Publisher: Birkhäuser Published: 23 May 2016
ISBN 13: 9783319793801
Format: Paperback (356 pages) Publisher: Birkhäuser Published: 15 Apr 2018
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
ISBN 13: 9783319805139
Format: Paperback (440 pages) Publisher: Birkhäuser Published: 27 May 2018